Non-blocking algorithm - PDFSEARCH.IO - Document Search Engine

Non-blocking algorithm
Results: 218

#	Item
111	Finding Linearization Violations in Lock-Free Concurrent Data Structures by Sebastien Alberto Dabdoub S.B., Massachusetts Institute of Technology (2012) Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-03-27 16:16:57 Transaction processing Computer programming Concurrency Theoretical computer science Linearizability Non-blocking algorithm Concurrent data structure Parallel computing Sequential consistency Computing Concurrency control Concurrent computing
112	On the Efficiency of Atomic Multi-Reader, Multi-Writer Distributed Memory Burkhard Englert1 , Chryssis Georgiou2 , Peter M. Musial3 ? , Nicolas Nicolaou4 , and Alexander A. Shvartsman4 ?? 1 Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2009-09-29 15:50:28 Computing Computer architecture Quorum Linearizability Transmission Control Protocol Non-blocking algorithm Replication DEC Alpha Transaction processing Concurrency control Data management
113	Fast Bug Finding in Lock-Free Data Structures with CB-DPOR by Jelle van den Hooff S.B., Massachusetts Institute of Technology, 2013 Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-03-27 16:16:58 Computer programming Concurrency Software bugs Model checking Non-blocking algorithm Circular buffer Linearizability Thread Algorithm Concurrency control Computing Concurrent computing
114	Making Lockless Synchronization Fast: Performance Implications of Memory Reclamation Thomas E. Hart1∗, Paul E. McKenney2, and Angela Demke Brown1 2 University of Toronto IBM Beaverton Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-05-13 10:09:56 Software engineering Read-copy-update Non-blocking algorithm Thread Concurrent data structure Spinlock Lock Memory barrier ABA problem Concurrency control Computing Computer programming
115	A Study of the Behavior of Synchronization Methods in Commonly Used Languages and Systems Daniel Cederman, Bapi Chatterjee, Nhan Nguyen, Yiannis Nikolakopoulos, Marina Papatriantafilou and Philippas Tsigas Computer Scien Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-08 09:38:14 Software engineering Non-blocking algorithm Lock Monitor Thread Software transactional memory Compare-and-swap Parallel computing Scheduling Concurrency control Computing Concurrent computing
116	Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev Eran Yahav IBM Research Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:16 Concurrency Linearizability Algorithm Tree traversal Mutual exclusion Non-blocking algorithm Concurrent data structure Parallel computing Priority queue Concurrency control Computing Data management
117	Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement, Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:04 Concurrency Theoretical computer science Computer programming Algorithm Mathematical logic Non-blocking algorithm Linearizability Concurrent data structure Actor model Computing Concurrency control Concurrent computing
118	Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:38 Transaction processing Dynamical systems Mathematics Concurrent data structure Linearization Algorithm Parallel computing Model checking Concurrency Concurrency control Computing Linearizability
119	Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated Hagit Attiya Rachid Guerraoui Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:22:54 Computing Linearizability Mutual exclusion Algorithm Parallel computing Non-blocking algorithm Compare-and-swap Lock Function Concurrency control Mathematics Concurrency
120	Idempotent Work Stealing Maged M. Michael Martin T. Vechev Vijay A. Saraswat Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:56 Concurrency control Scheduling algorithms Computer programming Double-ended queue Non-blocking algorithm FIFO Algorithm Cilk Stack Computing Concurrent computing Abstract data types

UPDATE